561. Formal description techniques, II
پدیدآورنده : / Edited by Son T. Vuong
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
562. Formal description techniques III
پدیدآورنده : / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
563. Formal development of programs and proofs
پدیدآورنده : edited by Edsger W. Dijkstra
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Programming- Congresses
رده :
QA
76
.
6
.
F657
1990
564. Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
F577
1993
565. Formal program development : IFIP TC2/WG 2.1 state-of-the-art report
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
F68
1993
566. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
567. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
6
.
F66
568. Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings
پدیدآورنده : edited by J. Diaz and I. Ramos
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
107
569. Fortran IV programming
پدیدآورنده : Chopra ,M. G
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، FORERAN )computer program language(,، Electronic digital computers - programming
رده :
QA
76
.
5
.
C45
570. Fortran IV programming : a concise exposition
پدیدآورنده : Ralston, Anthony
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
R296
571. Fortran IV programming for engineers and scientists
پدیدآورنده : Murrill, Paul W.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، FORTRAN IV )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
73
.
F25
M87
1973
572. Fortran iv programming: a concise exposition
پدیدآورنده : Ralston, Anthony
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
R296
573. Fortran iv:programming & computing
پدیدآورنده : GOLDEN,JAMES T
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN)COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
G558
574. Fortran iv programming for engineers & scientists
پدیدآورنده : MURRILL,PAUL W
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN IV )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
73
.
F25
M87
1973
575. Fortran language
پدیدآورنده : [by] Robert J. Wimmert
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Electronic digital computers,Programming (Electronic computers)
رده :
QA
76
.
5
.
W5
V
.
2
576. Fortran programming
پدیدآورنده : Jain, Ashok K
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، FORTRAN )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
73
.
F25
J35
1982
577. Fortran programming
پدیدآورنده : STUART,FREDRIC
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : FORTRAN )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
S8
578. Fortran programming
پدیدآورنده : Stuart, Fredric
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، FORTRAN )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
S8
1970
579. Fortran programming
پدیدآورنده : Stuart, Fredric.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Fortran )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
S8
580. Fortran programming
پدیدآورنده : Stuart, Fredric.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، FORTRAN )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
S8
